1. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings
پدیدآورنده : David McAllester )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1831
2. Worlds of music :
پدیدآورنده : Jeff Todd Titon, general editor ; Timothy J. Cooley ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Unterschiede,Ethnomusicology,World music-- History and criticism
رده :
ML3798
.
W67
2009
3. Worlds of music :an introduction to the music of the world's peoples
پدیدآورنده : Jeff Todd Titon, general editor ; Timothy J. Cooley ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : History and criticism ، World music,، Ethnomusicology
رده :
ML
3545
.
W67
2006b
